$L^2(S^1)$有哪些性质？@20250806

user: $L^{2} (S^{1})$ 有哪些性质？ [Timestamp: 2025/08/06 17:41:59]

ai: 根据你的上下文， $L^{2} (S^{1})$ 是定义在单位圆 $S^{1}$ 上、关于勒贝格测度的平方可积复值可测函数的空间。它是 $L^{2}$ 空间的一个具体例子，有如下主要性质：

$L^{2} (S^{1})$ 是一个 Hilbert 空间，其内积为

⟨ f, g ⟩ = \int_{S^{1}} f (x) \overline{g (x)} d x

这里 $d x$ 通常指标准的归一化勒贝格测度（比如 $x \in [0, 2 π)$ ，则 $d x = \frac{d t}{2 π}$ ）。

$L^{2} (S^{1})$ 关于范数 $∥ f ∥_{2} = (\int_{S^{1}} ∣ f (x) ∣^{2} d x)^{1/2}$ 完备，即它是 Hilbert 空间。

$L^{2} (S^{1})$ 是可分的。它有一个可数的稠密子集，例如所有三角多项式（有限线性组合 $e^{in x}$ ， $n \in Z$ ）。

${e^{in x}}_{n \in Z}$ 构成 $L^{2} (S^{1})$ 的正交归一基。即，

⟨ e^{im x}, e^{in x} ⟩ = δ_{mn}

其中 $e^{in x}$ 是单位圆上的复指数函数。任何 $f \in L^{2} (S^{1})$ 都可以写成

f (x) = n = - \infty \sum \infty c_{n} e^{in x}

在 $L^{2}$ 的意义下收敛。

∥ f ∥_{2}^{2} = n = - \infty \sum \infty ∣ c_{n} ∣^{2}

即 $L^{2}$ 范数正好等于 Fourier 系数平方和。

$L^{2} (S^{1})$ 上的卷积与傅里叶变换保持良好性质。卷积定义为

(f * g) (x) = \int_{S^{1}} f (x - y) g (y) d y

傅里叶变换将卷积变为系数的乘积。

$L^{2} (S^{1}) \subseteq L^{1} (S^{1})$ , 但两者不相等。 $L^{2} (S^{1})$ 仅包含平方可积函数。

$L^{2} (S^{1})$ 广泛用于傅里叶分析、信号处理、调和分析、量子力学等领域，是周期函数分析的基础空间。

如需某一方面的详细证明或举例，可进一步询问！

Quartz 4